大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Programming (Numerical Software) 的图书(共3243本)

Software Process Improvement [electronic resource] : 13th European Conference, EuroSPI 2006, Joensuu, Finland, October 11-13, 2006. Proceedings

0
索取号：
作者：Richardson、 Ita.、Runeson、 Per.、Messnarz、 Richard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Methods and Software Engineering [electronic resource] : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings

0
索取号：
作者：Liu、 Zhiming.、He、 Jifeng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Central European Functional Programming School [electronic resource] : First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures

0
索取号：
作者：Horv谩th、 Zolt谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Software Visualization [electronic resource] : Visualizing the Structure, Behaviour, and Evolution of Software

0
索取号：
作者：Diehl、 Stephan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Principles and Practice of Constraint Programming - CP 2006 [electronic resource] : 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings

0
索取号：
作者：Benhamou、 Fr茅d茅ric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Refinement Techniques in Software Engineering [electronic resource] : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures

0
索取号：
作者：Cavalcanti、 Ana.、Sampaio、 Augusto.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Generative and Transformational Techniques in Software Engineering [electronic resource] : International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers

0
索取号：
作者：L盲mmel、 Ralf.、Saraiva、 Jo茫o.、Visser、 Joost.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Modular Programming Languages [electronic resource] : 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings

0
索取号：
作者：Lightfoot、 David E.、Szyperski、 Clemens.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Object-Oriented Metrics in Practice [electronic resource] : Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems

0
索取号：
作者：Lanza、 Michele.、Marinescu、 Radu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematical Software - ICMS 2006 [electronic resource] : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings

0
索取号：
作者：Iglesias、 Andr茅s.、Takayama、 Nobuki.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Automotive Software-Connected Services in Mobile Networks [electronic resource] : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

0
索取号：
作者：Broy、 Manfred.、Kr眉ger、 Ingolf H.、Meisinger、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Software Composition [electronic resource] : 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers

0
索取号：
作者：L枚we、 Welf.、S眉dholt、 Mario.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Dynamic Programming [electronic resource] : A Computational Tool

0
索取号：
作者：Art、 Lew.、Mauch、 Holger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Dependable Systems: Software, Computing, Networks [electronic resource] : Research Results of the DICS Program

0
索取号：
作者：Kohlas、 J眉rg.、Meyer、 Bertrand.、Schiper、 Andr茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Logic Programming [electronic resource] : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

0
索取号：
作者：Etalle、 Sandro.、Truszczy艅ski、 Miros艂aw.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Fast Software Encryption [electronic resource] : 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers

0
索取号：
作者：Robshaw、 Matthew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.